MISC  {bfr-project,
     title=  {{Recognition  Procedures  for  Boolean  Functions}},
     author=  {Christian  Schilling  and  Jan-Georg  Smaus  and  Fabian  Wenzelmann},
     year=  2011,
     howpublished=  {\url{http://code.google.com/p/recognition-procedures-for-boolean-functions/}},
     note=  {mercrurial codebaseand  wiki.}
}
